Universität Tübingen

Programmiersprachen und Übersetzer - Programming Research Group

Prof. Dr. Herbert Klaeren

Click here for an English version of this text.

Wir studieren theoretische und praktische Aspekte der Programmierung. Themen sind: Algebraische Spezifikation, Semantik, Verifikation, Entwurf und Implementierung von Programmiersprachen, Software Engineering, Programmiermethodik, Visualisierung, Programmierumgebungen und Programmierwerkzeugen.

Laufende Projekte sind:

• Effiziente Implementierung funktionaler Programmiersprachen: Die laufende Forschung konzentriert sich auf Semantik und Pragmatik von state transformers, partielle Auswertung und Programmanalyse-Techniken für optimierende Compiler sowie die Elimination der sogenannten strukturellen Rekursion durch eine bottom-up Baumreise.
• Entwurf einer funktionalen Sprache mit objektorientierten Konzepten
• Software engineering und algebraische Spezifikation: Algebraische Spezifikationen für Module werden verfeinert, bis eine konstruktive Spezifikation vorliegt. Werkzeuge unterstützen die Verifikation des Verfeinerungsprozesses. Die konstruktive Spezifikation wird durch die o.a. Techniken direkt in effizienten Code transformiert.
• Programmvisualisierung und visuelle Programmierung: Ein Werkzeug generiert eine graphische Darstellung der Modulstruktur des in Entwicklung befindlichen Systems. Diese Struktur soll graphisch editiert werden, wobei die entsprechenden Änderungen in den Modultexten automatisch nachgezogen werden.
• Modula-2- und Oberon-Compiler: Diese werden als Testmaterial für fortgeschrittene Compilerbautechniken verwendet.
• Werkzeugkasten für die Modula-2-Programmierung: Ein Sortiment von Werkzeugen unterstützt den Software-Engineering-Prozeß in Modula-2. Zu den interessanteren hiervon gehören m2lint , ein erweiterter Modula-2-Syntaxprüfer, der vor allem Fehler im Zusammenhang mit der Blockschachtelung aufdecken kann, und m2struct , der die innere Struktur eines Moduls untersucht; er zeigt den Aufrufbaum auf dem X-Bildschirm oder dem PostScript-Drucker an und analysiert Prozedur-Schnittstellen.

Last modified: Sun Jul 13 12:56:53 MES 1997